void ptf1() ; 